Android: Das Pixel Update für November ist da – erstes Update für die Pixel 7-Smartphones, Fixes und mehr